C1: Geodistributed Programming with Gallifrey
Programming distributed systems that are both performant and correct is notoriously hard. Maybe using programming languages that are designed for writing sequential programs to build distributed systems is not the best approach. How can programming languages that are designed specifically for distributed systems and focus on consistency of data improve this?
In this seminar, you will look into the approach that Gallifrey takes. First, write a Gallifrey program that showcases the most important features of Gallifrey and use excerpts to explain them to the reader. Then, look for further papers on distributed programming languages, and explain the differences based on code examples.